41. Constraining designs for syntheis and timing analysis : a practical guide to synopsys design constraints )SDC(
پدیدآورنده: Gangadharan, Sridhar
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Timing circuits,Design and construction ، Integrated circuits,، Real-time clocks )Computers(,، Constraint programming )Computer science(,Design ، Systems on a chip
رده :
TK
7868
.
T5G26
42. Constraint Databases and Applications :
پدیدآورنده: edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Information storage and retrieval systems.
43. Constraint-Programmierung :
پدیدآورنده: Thom Frühwirth, Slim Abdennadher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constraint programming (Computer science),Constraint-logische Programmierung.,Constraint-Programmierung.
44. Constraint Programming and Decision Making
پدیدآورنده: / Martine Ceberio, Vladik Kreinovich
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
45. Constraint Solving and Language Processing
پدیدآورنده: edited by Denys Duchier, Yannick Parmentier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
46. Constraint-aided conceptual design
پدیدآورنده: B. O'Sullivan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-aided engineering.,Constraint programming (Computer science),Computer-aided engineering.,Constraint programming (Computer science)
رده :
TA345
47. Constraint-aided conceptual design /
پدیدآورنده: B. O'Sullivan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-aided engineering.,Constraint programming (Computer science),CAD.,Computer-aided engineering.,Constraint programming (Computer science),Constraint-Programmierung.,Konzipieren (Technik)
رده :
TA345
.
O88x
2002
48. Constraint and Integer Programming :
پدیدآورنده: edited by Michela Milano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Information theory.
49. Constraint-based agents : an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
پدیدآورنده: Nareyek, Alexander
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intelligent agents )Computer software(,، Constraint programming )Computer science(,، Computer games
رده :
QA
76
.
L28
Vol
.
2062
50. Constraint databases and applications : ESPRIT WG CONTESSA workshop, Friedrichshafen, Germany, September 8-9, 1995 : proceedings
پدیدآورنده: Gabriel Kuper, Mark Wallace, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
1034
51. Constraint databases and applications : Second International Workshop on Constraint Databases Systems, CDB'97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constranits and Databases, Cambridge, MA, USA, August 19, 1996 : selected papers
پدیدآورنده: V. Gaede...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Database management
رده :
QA
76
.
L28
Vol
.
1191
52. Constraint networks
پدیدآورنده: / Christophe Lecoutre
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Constraint programming (Computer science),Computer algorithms,Computer networks
رده :
QA
76
.
612
.
L43
2009
53. Constraint networks : techniques and algorithms
پدیدآورنده: Lecoutre, Christophe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constraint programming )Computer science(,، Computer algorithms,، Computer networks
رده :
QA
76
.
612
.
L43C6
54. Constraint programming and decision making
پدیدآورنده: / Ceberio Vladik
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Constraint programming (Computer science),Decision making--Data processing,Stem Cell Research--ethics
رده :
QA76
.
612
55. Constraint programming and large scale discrete optimization: DIMACS Workshop Constraint Programming and Large Scale Discrete Optimization, September 14-17, 1998, DIMACS Center
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
612
.
D56
1998
56. Constraint programming languages :
پدیدآورنده: Wm. Leler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Bertrand (Computer program language),Constraint programming (Computer science),Bertrand (Langage de programmation),Bertrand (Computer program language),Bertrand (Computer program language),Constraint programming (Computer science),Langage programmation.
رده :
QA76
.
73
.
B47
L45
1988
57. Constraint programming languages: : their specification and generation
پدیدآورنده: Leler, Wm. )William(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Bertrand )Computer program language(,، Constraint programming )Computer science(
رده :
QA
76
.
73
.
B47L45
1988
58. Constraint solving and language processing
پدیدآورنده: / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
رده :
QA
76
.
612
.
C637
2005
59. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
پدیدآورنده: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
60. Constraint solving over multi-valued logics :
پدیدآورنده: Francisco Azevedo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb
